Toward Advanced Symbolic Analysis
نویسندگان
چکیده
Bae, Hansang. M.S.E.C.E., Purdue University, May, 2003. Toward Advanced Symbolic Analysis. Major Professor: Rudolf Eigenmann. Automatic parallelization of programs at the loop level requires advanced program analysis techniques. The goal of these techniques is supporting other parallelization techniques by providing as much compile-time information as possible. Evaluation of symbolic expressions is one of such techniques, including expression propagation and range analysis. However, these techniques may not be sufficient for best result of loop parallelization – finding as much parallelism as possible. A comprehensive performance study on the current advanced symbolic analysis techniques was performed to see how important they are in automatic program parallelization. Range analysis, expression propagation, and expression manipulation techniques in the Polaris parallelizing compiler were evaluated in this study. The result showed that all of them made the parallelizer find more parallel loops, and sometimes affected the performance of resulting parallel programs significantly. However, it turned out that more advanced techniques are required to find more fine-grain parallelism resident in programs. Those techniques should understand certain variables’ behaviors in recurrence relations, and should make better decisions when comparing two symbolic expressions. Sequence variable analysis is proposed as a tool for analyzing the behavior of a variable in a recurrence relation. This technique could be useful in data dependence analysis and array privatization as well as in removing some complex recurrence relations. Also, a simple property of integer division could strengthen existing data dependence analysis.
منابع مشابه
Performance Analysis of Symbolic Analysis Techniques for Parallelizing Compilers
Understanding symbolic expressions is an important capability of advanced program analysis techniques. Many current compiler techniques assume that coefficients of program expressions, such as array subscripts and loop bounds, are integer constants. Advanced symbolic handling capabilities could make these techniques amenable to real application programs. Symbolic analysis is also likely to play...
متن کاملA New Approach to Detect Congestive Heart Failure Using Symbolic Dynamics Analysis of Electrocardiogram Signal
The aim of this study is to show that the measures derived from Electrocardiogram (ECG) signals many a time perform better than the same measures obtained from heart rate (HR) signals. A comparison was made to investigate how far the nonlinear symbolic dynamics approach helps to characterize the nonlinear properties of ECG signals and HR signals, and thereby discriminate between normal and cong...
متن کاملThe Advanced Uncertain Reasoning Architecture, AURA
The ADAM binary neural network which has been used for image analysis applications, is con-tructed around a central component termed a Correlation Matrix Memory (CMM). A recent re-examination of the CMM has led to development of the Advanced Uncertain Reasoning Architecture (AURA). AURA inherits many useful characteristics from ADAM, but is intended for applications requiring the manipulation o...
متن کاملToward the Integration of Numerical Computations into the OMSCS Framework
Computer algebra systems and automated theorem provers, which have complementary abilities, can be integrated to form an Open Mechanized Symbolic Computation System (OMSCS). This framework could be extended to integrate numerical computation systems. This paper aims at showing what problems can occur when dealing with numerical computations and what can be done to solve them or at least to prov...
متن کامل